منابع مشابه
Optimal natural dualities for varieties of Heyting algebras
The techniques of natural duality theory are applied to certain finitely generated varieties of Heyting algebras to obtain optimal dualities for these varieties, and thereby to address algebraic questions about them. In particular, a complete characterisation is given of the endodualisable finite subdirectly irreducible Heyting algebras. The procedures involved rely heavily on Priestley duality...
متن کاملPartition-induced natural dualities for varieties of pseudo- complemented distributive lattices
A natural dl:sitty is obtained for each finitely generated variety B,, (n < CG) of distributive p-algebras. 7 he duality for B,, is based on a schizophrenic object: E:, in B,, is the algebra 2” @ 1 which gencrates the b:uiety and c?, is a topological relationai structure carrying the discrete topology and a set of Qcbraic reititions. The relations arc (i) the graphs of a (3-element) generating ...
متن کاملNatural dualities for varieties generated by a set of subalgebras of a semi-primal algebra
The main contribution of this paper is the construction of a strong duality for the varieties generated by a set of subalgebras of a semi-primal algebra. We also obtain an axiomatization of the objects of the dual category and develop some algebraic consequences (description of the dual of the finite structures and algebras, construction of finitely generated free algebras,. . . ). Eventually, ...
متن کاملNatural Dualities in Partnership
Traditionally in natural duality theory the algebras carry no topology and the objects on the dual side are structured Boolean spaces. Given a duality, one may ask when the topology can be swapped to the other side to yield a partner duality (or, better, a dual equivalence) between a category of topological algebras and a category of structures. A prototype for this procedure is provided by the...
متن کاملRegularising Natural Dualities
Given an algebra M we may adjoin an isolated zero to form an algebra M∞ satisfying all identities u ≈ v true in M for which u and v contain the same variables. Drawing on the structure theory of P lonka sums, we show that if M is a finite, dualisable algebra which is strongly irregular, then M∞ is also dualisable. Turning the construction of M∞ upside-down for the two-element left-zero band, we...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics
سال: 1996
ISSN: 0263-6115
DOI: 10.1017/s1446788700000203